Make GtkPaned use gtk_container_class_handle_border_width
authorMatthias Clasen <mclasen@redhat.com>
Fri, 8 Oct 2010 15:11:33 +0000 (11:11 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 8 Oct 2010 15:11:33 +0000 (11:11 -0400)
gtk/gtkpaned.c

index ad84fadfb6e2255791f3ee01a08fd0990e5ca6f9..54837c4a8bf2f962c41bb7c35c9c0ae131c9f771 100644 (file)
@@ -891,7 +891,7 @@ gtk_paned_size_allocate (GtkWidget     *widget,
       if (priv->orientation == GTK_ORIENTATION_HORIZONTAL)
         {
           gtk_paned_calc_position (paned,
-                                   MAX (1, widget_allocation.width- handle_size),
+                                   MAX (1, widget_allocation.width - handle_size),
                                    child1_requisition.width,
                                    child2_requisition.width);